|
|
Specification and verification of declarative open interaction models : , a logic-based approach /
by Montali, Marco.
Publication:
Berlin : Springer, 2010
. xxii, 411 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer science logic : , 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /
Publication:
Berlin : Springer, 2005
. xi, 565 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Logic for learning : , learning comprehensible theories from structured data /
by Lloyd, J. W.
Publication:
Berlin : Springer, 2003
. x, 256 p. ;
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|